A Lindström theorem in many-valued modal logic over a finite MTL-chain
نویسندگان
چکیده
منابع مشابه
A New Modal Lindström Theorem
We prove new Lindström theorems for the basic modal propositional language, and for the guarded fragment of first-order logic. We find difficulties with such results for modal languages without a finite-depth property, high-lighting the difference between abstract model theory for fragments and for extensions of first-order logic. 1 What is modal logic? I would broadly endorse the 'minimal desi...
متن کاملOn the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
This article deals with many-valued modal logics, based only on the necessity operator, over a residuated lattice. We focus on three basic classes, according to the accessibility relation, of Kripke frames: the full class of frames evaluated in the residuated lattice (and so defining the minimum modal logic), the ones evaluated in the idempotent elements and the ones only evaluated in 0 and 1. ...
متن کاملA New Representation Theorem for Many-valued Modal Logics
We propose a new definition of the representation theorem for many-valued logics, with modal operators as well, and define the stronger relationship between algebraic models of a given logic and relational structures used to define the Kripke possible-world semantics for it. Such a new framework offers a new semantics for many-valued logics based on the truth-invariance entailment. Consequently...
متن کاملTableaus for many-valued modal logic
We continue a series of papers on a family of many-valued modal logics, a family whose Kripke semantics involves many-valued accessibility relations. Earlier papers in the series presented a motivation in terms of a multiple-expert semantics. They also proved completeness of sequent calculus formulations for the logics, formulations using a cut rule in an essential way. In this paper a novel cu...
متن کاملA notion of bisimulation for many-valued modal logic
We introduce a suitable notion of bisimulation for the family of Heyting-valued modal logics introduced by M. Fitting. In this family of logics, each modal language is built on an underlying space of truth values, a Heyting algebra H. All the truth values are directly represented in the language which is interpreted on relational frames with an H-valued accessibility relation. We prove that for...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Fuzzy Sets and Systems
سال: 2020
ISSN: 0165-0114
DOI: 10.1016/j.fss.2019.03.002